What Is a Qualitative Calculus? A General Framework

نویسندگان

  • Gérard Ligozat
  • Jochen Renz
چکیده

What is a qualitative calculus? Many qualitative spatial and temporal calculi arise from a set of JEPD (jointly exhaustive and pairwise disjoint) relations: a stock example is Allen’s calculus, which is based on thirteen basic relations between intervals on the time line. This paper examines the construction of such a formalism from a general point of view, in order to make apparent the formal algebraic properties of all formalisms of that type. We show that the natural algebraic object governing this kind of calculus is a non-associative algebra (in the sense of Maddux), and that the notion of weak representation is the right notion for describing most basic properties. We discuss the ubiquity of weak representations in various guises, and argue that the fundamental notion of consistency itself can best be understood in terms of consistency of one weak representation with respect to another.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Extending the Qualitative Trajectory Calculus Based on the Concept of Accessibility of Moving Objects in the Paths

Qualitative spatial representation and reasoning are among the important capabilities in intelligent geospatial information system development. Although a large contribution to the study of moving objects has been attributed to the quantitative use and analysis of data, such calculations are ineffective when there is little inaccurate data on position and geometry or when explicitly explaining ...

متن کامل

New Methods in Qualitative Calculus

A qualitative calculus based on signs was first developed by economists to overcome one major difficulty: we often face a lack of quantitative data. A number of methods such as comparative statics were proposed to solve qualitative-model-based problems. A new interest has recently arisen in qualitative methods as applied to process control, control theory, and artificial intelligence (the autho...

متن کامل

Qualitative Reasoning about Continuous Processes with the Situation Calculus

A fundamental aspect of general reasoning about physical systems is qualitative reasoning about continuous processes. The situation calculus is proposed as a framework for qualitative reasoning with some desirable properties that are less evident in the traditional framework, qualitative physics. However, in order to handle qualitative reasoning about continuous properties, we extend the concur...

متن کامل

Model Checking Real-Time Properties of Symmetric Systems

We develop efficient algorithms for model checking quantitative properties of symmetric reactive systems in the general framework of a Real-Time Mu-calculus. Previous work has been limited to qualitative correctness properties. Our work not only permits handling of quantitative correctness, but it provides a strictly more expressive framework for qualitative correctness since the Mu-calculus st...

متن کامل

What Do Clinical Professors of Hamadan University of Medical Sciences Know About Conflict of Interest in the Fields of Research, Education, and Treatment? A Qualitative Study

Background and Objective: Conflict of interest is a situation in which professional judgment about a primary interest is unjustifiably affected by a secondary one; therefore, it is a subject that occurs objectively. Also, conflict of interest is not inherently immoral; however, the way to deal with these conflicts is a matter of professional ethics. Materials and Methods: The present qualitati...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004